Explicit Specification